On the theory of computation and introducing the notion of denotational semantics of programming languages by what came to be called domain theory:
Last revised on December 29, 2022 at 19:53:03. See the history of this page for a list of all contributions to it.